Add version info about the deprecation of GTK_WIDGET_SENSITIVE

This completes the patch of
commit 64f526d34e1adc609944078e2fea38b2792f8230

diff --git a/gtk/gtkwidget.h b/gtk/gtkwidget.h
index 52a42dbb3fb6f9f69448e33d8ae3d468af86f941..cdc98616b947a941e3fc4aba5ddd976f868bc72d 100644 (file)
--- a/gtk/gtkwidget.h
+++ b/gtk/gtkwidget.h
@@ -271,6 +271,8 @@ typedef enum
  * @wid: a #GtkWidget.
  *
  * Evaluates to %TRUE if the #GTK_SENSITIVE flag has be set on the widget.
+ *
+ * Deprecated: 2.20: Use gtk_widget_get_sensitive() instead.
  */
 #define GTK_WIDGET_SENSITIVE(wid)        ((GTK_WIDGET_FLAGS (wid) & GTK_SENSITIVE) != 0)
 #endif